منابع مشابه
Order-theoretic Invariants in Set-theoretic Topology
We present several results related to van Douwen’s Problem, which asks whether there is homogeneous compactum with cellularity exceeding c, the cardinality of the reals. For example, just as all known homogeneous compacta have cellularity at most c, they satisfy similar upper bounds in terms of Peregudov’s Noetherian type and related cardinal functions defined by order-theoretic base properties...
متن کاملMereology and Rough Mereology: Rough Mereological Granulation
In this chapter, we embark on a more specific granulation theory, stemming from the mereological theory of things. This mechanism provides us with tolerance and weak tolerance relations forming a graded similarity in the sense of Chap.1 and with resulting therefrom granules. To put the necessary notions in a proper order, we are going to discuss mereology, rough mereology and the mereological g...
متن کاملSet Theoretic Real Analysis
This article is a survey of the recent results that concern real functions (from R into R) and whose solutions or statements involve the use of set theory. The choice of the topics follows the author’s personal interest in the subject, and there are probably some important results in this area that did not make it to this survey. Most of the results presented here are left without proofs. 1991 ...
متن کاملGradual Set-Theoretic Types
Problem and motivation. A static type system can be an extremely powerful tool for a programmer, providing early error detection, and offering strong compile-time guarantees on the behavior of a program. However, compared to dynamic typing, static typing often comes at the expense of development speed and flexibility, as statically-typed code might be more difficult to adapt to changing require...
متن کاملContext Mereology
We show that under a small number of assumptions, it is possible to interpret truth in a context as a quantification over truth in 'atomic' or pointlike contexts, which are transparent to all the connectives. We discuss the necessary assumptions and suggest conditions under which they are intuitively reasonable. Introduction This note is inspired by the context logic originally introduced by J....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2016
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2016.007